do (^T : (member P: int) x).Name
